Nuprl Definition : int_upper
13,42
postcript
pdf
{
i
...} == {
j
:
|
i
j
}
latex
Up
int
1
,
int
1
Wellformedness Lemmas
int
upper
wf
,
int
upper
wf
Definitions
{
x
:
A
|
B
(
x
)}
,
,
A
B
FDL editor aliases
int_upper
origin
| i 
j} | i j} B